#ifndef KLEE_CHANGE_FUNCTIONS_H_
#define KLEE_CHANGE_FUNCTIONS_H_

int __attribute__ ((noinline)) klee_get_true() { return 1; }
int __attribute__ ((noinline)) klee_get_false() { return 0; }

#endif /* KLEE_CHANGE_FUNCTIONS_H_ */
